[INFO] fetching crate biodivine-algo-bdd-scc 0.3.2...
[INFO] fixing biodivine-algo-bdd-scc-0.3.2 against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] extracting crate biodivine-algo-bdd-scc 0.3.2 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate biodivine-algo-bdd-scc 0.3.2
[INFO] finished tweaking crates.io crate biodivine-algo-bdd-scc 0.3.2
[INFO] tweaked toml for crates.io crate biodivine-algo-bdd-scc 0.3.2 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate biodivine-algo-bdd-scc 0.3.2 on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate biodivine-algo-bdd-scc 0.3.2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-xid v0.1.0
[INFO] [stderr]   Downloaded quote v0.6.13
[INFO] [stderr]   Downloaded test-generator v0.3.1
[INFO] [stderr]   Downloaded proc-macro2 v0.4.30
[INFO] [stderr]   Downloaded clap_lex v0.7.6
[INFO] [stderr]   Downloaded env_filter v0.1.4
[INFO] [stderr]   Downloaded bitvector v0.1.5
[INFO] [stderr]   Downloaded zmij v1.0.12
[INFO] [stderr]   Downloaded glob v0.3.3
[INFO] [stderr]   Downloaded quote v1.0.43
[INFO] [stderr]   Downloaded env_logger v0.11.8
[INFO] [stderr]   Downloaded computation-process v0.2.0
[INFO] [stderr]   Downloaded cancel-this v0.4.0
[INFO] [stderr]   Downloaded dyn-clone v1.0.20
[INFO] [stderr]   Downloaded unicode-ident v1.0.22
[INFO] [stderr]   Downloaded clap_derive v4.5.49
[INFO] [stderr]   Downloaded syn v0.15.44
[INFO] [stderr]   Downloaded proc-macro2 v1.0.105
[INFO] [stderr]   Downloaded clap v4.5.54
[INFO] [stderr]   Downloaded roxmltree v0.20.0
[INFO] [stderr]   Downloaded jiff-static v0.2.18
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.6.2
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.32
[INFO] [stderr]   Downloaded memchr v2.7.6
[INFO] [stderr]   Downloaded regex v1.12.2
[INFO] [stderr]   Downloaded clap_builder v4.5.54
[INFO] [stderr]   Downloaded portable-atomic v1.13.0
[INFO] [stderr]   Downloaded biodivine-lib-param-bn v0.7.0
[INFO] [stderr]   Downloaded zerocopy v0.8.32
[INFO] [stderr]   Downloaded syn v2.0.114
[INFO] [stderr]   Downloaded regex-syntax v0.8.8
[INFO] [stderr]   Downloaded regex-automata v0.4.13
[INFO] [stderr]   Downloaded jiff v0.2.18
[INFO] [stderr]   Downloaded libc v0.2.179
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7
[INFO] running `Command { std: "docker" "start" "64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling zerocopy v0.8.32
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]     Checking memchr v2.7.6
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking log v0.4.29
[INFO] [stderr]    Compiling proc-macro2 v0.4.30
[INFO] [stderr]     Checking dyn-clone v1.0.20
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]    Compiling zmij v1.0.12
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.2
[INFO] [stderr]     Checking anstyle v1.0.13
[INFO] [stderr]     Checking bitvector v0.1.5
[INFO] [stderr]     Checking anstyle-query v1.1.5
[INFO] [stderr]     Checking anstyle-parse v0.2.7
[INFO] [stderr]     Checking colorchoice v1.0.4
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking roxmltree v0.20.0
[INFO] [stderr]     Checking jiff v0.2.18
[INFO] [stderr]     Checking cancel-this v0.4.0
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]     Checking itoa v1.0.17
[INFO] [stderr]     Checking anstream v0.6.21
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking computation-process v0.2.0
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling quote v0.6.13
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking getrandom v0.2.16
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling test-generator v0.3.1
[INFO] [stderr]     Checking regex v1.12.2
[INFO] [stderr]     Checking env_filter v0.1.4
[INFO] [stderr]     Checking env_logger v0.11.8
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking biodivine-lib-bdd v0.6.2
[INFO] [stderr]     Checking biodivine-lib-param-bn v0.7.0
[INFO] [stderr]     Checking biodivine-algo-bdd-scc v0.3.2 (/opt/rustwide/workdir)
[INFO] [stdout] error: custom attribute panicked
[INFO] [stdout]    --> src/attractor/tests/llm_test_model_comparison.rs:187:1
[INFO] [stdout]     |
[INFO] [stdout] 187 | #[test_resources("./models/bbm-inputs-true/*.aeon")]
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: message: no resource matching the pattern ./models/bbm-inputs-true/*.aeon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: custom attribute panicked
[INFO] [stdout]   --> src/reachability/tests/llm_test_model_comparison.rs:81:1
[INFO] [stdout]    |
[INFO] [stdout] 81 | #[test_resources("./models/bbm-inputs-true/*.aeon")]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: message: no resource matching the pattern ./models/bbm-inputs-true/*.aeon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: custom attribute panicked
[INFO] [stdout]    --> src/reachability/tests/llm_test_model_comparison.rs:101:1
[INFO] [stdout]     |
[INFO] [stdout] 101 | #[test_resources("./models/bbm-inputs-true/*.aeon")]
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: message: no resource matching the pattern ./models/bbm-inputs-true/*.aeon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: custom attribute panicked
[INFO] [stdout]   --> src/scc/tests/llm_test_model_comparison.rs:78:1
[INFO] [stdout]    |
[INFO] [stdout] 78 | #[test_resources("./models/bbm-inputs-true/*.aeon")]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: message: no resource matching the pattern ./models/bbm-inputs-true/*.aeon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Duration`
[INFO] [stdout]   --> src/attractor/tests/llm_test_model_comparison.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use std::time::Duration;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BfsPredecessors`, `BfsSuccessors`, `IterativeUnion`, `SaturationPredecessors`, and `SaturationSuccessors`
[INFO] [stdout]  --> src/reachability/tests/llm_test_model_comparison.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     BfsPredecessors, BfsSuccessors, IterativeUnion, ReachabilityComputation, ReachabilityConfig,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 9 |     ReachabilityState, SaturationPredecessors, SaturationSuccessors,
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Duration`
[INFO] [stdout]   --> src/reachability/tests/llm_test_model_comparison.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use std::time::Duration;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Duration`
[INFO] [stdout]   --> src/scc/tests/llm_test_model_comparison.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::time::Duration;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-algo-bdd-scc` (lib test) due to 4 previous errors; 4 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7", kill_on_drop: false }`
[INFO] [stdout] 64bac8a8407d0587350a69db86a7c95de2273b9377604d7d0306710f3f00c7f7
